
#include "defs.h"

/* */
void score_function_t::featureFunction( sparse_vector_t *p_out_v, const proof_graph_t &gp, int i ) {

  (*p_out_v)[0] = gp.nodes[i].distance*10;
//   (*p_out_v)[0] = "mary_angry" == g_store.claim( gp.nodes[i].lit.predicate ) ? 10 : 0;
//   (*p_out_v)[1] = "rain" == g_store.claim( gp.nodes[i].lit.predicate ) ? 10 : 0;
//   (*p_out_v)[2] = "sprinkler" == g_store.claim( gp.nodes[i].lit.predicate ) ? 10 : 0;
//   (*p_out_v)[3] = "typhoon" == g_store.claim( gp.nodes[i].lit.predicate ) ? 10 : 0;
//   (*p_out_v)[4] = "dry" == g_store.claim( gp.nodes[i].lit.predicate ) ? 10 : 0;
  //  (*p_out_v)[7] = "storm" == g_store.claim( gp.nodes[i].lit.predicate ) ? 10 : 0;
  
}

void score_function_t::featureFunction( sparse_vector_t *p_out_v, const proof_graph_t &gp, int i, pg_hypernode_t j ) {

  (*p_out_v)[1] = 0;
  
}
